Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
661	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
662	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra
663	COMBINATIONAL LOGIC DESIGN FOR AES SUBBYTE TRANSFORMATION ON MASKED DATA ELENA TRICHINA Abstract. Low power consumption, low gate count and high throughput used to be standard design criteria for cryptographic coprocesso Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2003-11-12 00:19:16 Binary arithmetic Mathematics Mask GF Finite field arithmetic XTR Finite fields Cryptography Advanced Encryption Standard
664	Power and Timing Side Channels for PUFs and their Efficient Exploitation Ulrich R¨uhrmair, Xiaolin Xu, Jan S¨olter, Ahmed Mahmoud, Farinaz Koushanfar, Wayne Burleson Abstract—We discuss the first power and timing sid Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-12-20 06:36:55 Physical Unclonable Function Randomness Electronics Flip-flop XOR gate Arbiter Exclusive or Field-programmable gate array Logic gates Electronic engineering Electrical engineering
665	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
666	SQL’s Three-Valued Logic and Certain Answers Leonid Libkin School of Informatics, University of Edinburgh Abstract SQL uses three-valued logic for evaluating queries on databases with nulls. The standard theoretical ap Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-01-10 06:40:54 Relational model Null Relational algebra Conjunctive query FO SQL Function Symbol Data management Mathematics Computing
667	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
668	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
669	DEPENDENT VECTOR TYPES FOR MULTIRATE FAUST Pierre Jouvelot CRI, Math´ematiques et syst`emes, MINES ParisTech ABSTRACT Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 04:53:45 Electronic design Electronic circuits Denotational semantics Logic in computer science FAUST Input impedance Electrical impedance Electronic filter Impedance matching Electronic engineering Electronics Electromagnetism
670	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory

UPDATE